Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
351	Yale University Department of Computer Science A one-bit swap object using test-and-sets and a max register James Aspnes1 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Computer architecture Linearizability Read-modify-write Swap Test-and-set Dc Concurrency control Computing Computer programming
352	Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2012-09-10 16:24:23 Computer programming Lock Monitor Thread Software bug Non-blocking algorithm Mutual exclusion Deadlock Linearizability Concurrency control Computing Concurrent computing
353	Transaction chains: achieving serializability with low latency in geo-distributed storage systems Yang Zhang∗ , Russell Power∗ , Siyuan Zhou∗ , Yair Sovran∗ , Marcos K. Aguilera‡ , Jinyang Li∗ ∗ New York Un Add to Reading List Source URL: www.yzhang.net Language: English - Date: 2015-02-12 19:02:21 Information Databases Concurrency control Database management systems Serializability Schedule Extensible Storage Engine Two-phase locking Database Transaction processing Data management Data
354	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
355	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:17:50 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
356	Scalable and Precise Dynamic Datarace Detection for Structured Parallelism Raghavan Raman Jisheng Zhao Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-04-01 10:27:41 Parallel computing Concurrency control Algorithm OpenMP Non-blocking algorithm Scheduling Deadlock Thread FastTrack Computing Concurrent computing Computer programming
357	Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luj´an, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Concurrent computing Computer architecture Models of computation Parallel computing Software transactional memory Thread Linearizability Concurrent data structure Lock Computing Concurrency control Transaction processing
358	Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2013-01-23 18:48:19 Data management Databases Concurrency control Global serializability Serializability Replication Service-oriented architecture Communications protocol Scalability Data Information Transaction processing
359	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-21 03:49:15 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
360	Transactional storage for geo-replicated systems Yair Sovran∗ ∗ Russell Power∗ Add to Reading List Source URL: news.cs.nyu.edu Language: English - Date: 2011-09-09 14:13:13 Information Concurrency control Databases Snapshot isolation Multiversion concurrency control Isolation Schedule Commitment ordering Serializability Transaction processing Data management Data

UPDATE